Issue202.agda:6,1-25
Importing module Imports.Test not using the
--no-universe-polymorphism flag from a module which does.
when scope checking the declaration
  open import Imports.Test
